Keimel, C: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

Domains and Processes || Encounters Between Topology and Domain Theory

Keimel, Klaus, Zhang, Guo-Qiang, Liu, Ying-Ming, Chen, Yi-Xang

Year:

2001

Language:

english

File:

PDF, 3.19 MB

english, 2001

2

A direct proof of the Hofmann-Mislove theorem

Keimel, Klaus, Paseka, Jan

Journal:

Proceedings of the American Mathematical Society

Year:

1994

Language:

english

File:

PDF, 291 KB

english, 1994

3

A Korovkin Type Approximation Theorem for Set-Valued Functions

Klaus Keimel and Walter Roth

Journal:

Proceedings of the American Mathematical Society

Year:

1988

Language:

english

File:

PDF, 181 KB

english, 1988

4

Compact continuous L-domains

Jihua Liang, K. Keimel

Journal:

Computers & Mathematics with Applications

Year:

1999

Language:

english

File:

PDF, 520 KB

english, 1999

5

Samuel Wolfenstein in memoriam

Journal:

Year:

1988

Language:

english

File:

PDF, 245 KB

english, 1988

6

Books in review

Journal:

Year:

1988

Language:

english

File:

PDF, 153 KB

english, 1988

7

Baer extensions of rings and stone extensions of semigroups

Journal:

Semigroup Forum

Year:

1971

Language:

english

File:

PDF, 404 KB

english, 1971

8

Congruence relations on cone semigroups

Journal:

Semigroup Forum

Year:

1971

Language:

english

File:

PDF, 666 KB

english, 1971

9

A cross section theorem for certain compact abelian semigroups

Journal:

Semigroup Forum

Year:

1970

Language:

english

File:

PDF, 259 KB

english, 1970

10

Topological cones: functional analysis in a T0-setting

Journal:

Semigroup Forum

Year:

2008

Language:

english

File:

PDF, 604 KB

english, 2008

11

Time-input, an innovative groundwater-vulnerability assessment scheme: application to an alpine test site

M. Kralik, T. Keimel

Journal:

Environmental Geology

Year:

2003

Language:

english

File:

PDF, 553 KB

english, 2003

12

Order Environments of Topological Spaces

J. H. Liang, K. Keimel

Journal:

Acta Mathematica Sinica, English Series (Springer)

Year:

2004

Language:

english

File:

PDF, 143 KB

english, 2004

13

A Compendium of Continuous Lattices || Morphisms and Functors

Gierz, Gerhard, Hofmann, Karl Heinrich, Keimel, Klaus, Lawson, Jimmie D., Mislove, Michael W., Scott, Dana S.

Year:

1980

Language:

english

File:

PDF, 5.89 MB

english, 1980

14

[IEEE 2013 IEEE International Symposium on Multimedia (ISM) - Anaheim, CA, USA (2013.12.9-2013.12.11)] 2013 IEEE International Symposium on Multimedia - Towards an Evaluation of Denoising Algorithms with Respect to Realistic Camera Noise

Seybold, Tamara, Keimel, Christian, Knopp, Marion, Stechele, Walter

Year:

2013

Language:

english

File:

PDF, 559 KB

english, 2013

15

Preface

Berger, Ulrich, Blanck, Jens, Escardó, Martín, Keimel, Klaus

Journal:

Journal of Logical and Algebraic Methods in Programming

Year:

2015

Language:

english

File:

PDF, 119 KB

english, 2015

16

Predicate transformers for extended probability and non-determinism

KEIMEL, KLAUS, PLOTKIN, GORDON D.

Journal:

Mathematical Structures in Computer Science

Year:

2009

Language:

english

File:

PDF, 483 KB

english, 2009

17

A Direct Proof of the Hofmann-Mislove Theorem

Klaus Keimel and Jan Paseka

Journal:

Proceedings of the American Mathematical Society

Year:

1994

Language:

english

File:

PDF, 134 KB

english, 1994

18

Manipulating drug release from tridimensional porous substrates coated by initiated chemical vapor deposition

Ghasemi‐Mobarakeh, Laleh, Werzer, Oliver, Keimel, Roman, Kolahreez, Davood, Hadley, Peter, Coclite, Anna Maria

Journal:

Journal of Applied Polymer Science

Year:

2019

Language:

english

File:

PDF, 2.13 MB

english, 2019

19

Positive derivations on f-rings

Colville, P., Davis, G., Keimel, K.

Journal:

Journal of the Australian Mathematical Society

Year:

1977

File:

PDF, 230 KB

1977

20

Continuous Lattices and Domains || Introduction to A Compendium of Continuous Lattices

Gierz, G., Hofmann, K. H., Keimel, K., Lawson, J. D., Mislove, M., Scott, D. S.

Year:

2003

Language:

english

File:

PDF, 319 KB

english, 2003

21

Darstellung von Halbgruppen und universellen Algebren durch Schnitte in Garben; bireguläre Halbgruppen

Journal:

Mathematische Nachrichten

Year:

1970

Language:

german

File:

PDF, 950 KB

german, 1970

22

Kakutani property of the polytopes implies Kakutani property of the whole space

Klaus Keimel, Andrzej Wieczorek

Journal:

Journal of Mathematical Analysis and Applications

Year:

1988

Language:

english

File:

PDF, 740 KB

english, 1988

23

RETRACTED: Semantic Domains for Combining Probability and Non-Determinism

Regina Tix, Klaus Keimel, Gordon Plotkin

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2005

Language:

english

File:

PDF, 1.23 MB

english, 2005

24

Extending Algebraic Operations to D-Completions

Klaus Keimel, Jimmie D. Lawson

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2009

Language:

english

File:

PDF, 409 KB

english, 2009

25

X-ray reflectivity of multiple delta-type doping profiles in silicon

J. Keimel, A. Krutzenbichler, G. Fritsch

Journal:

Physica B: Condensed Matter

Year:

1994

Language:

english

File:

PDF, 166 KB

english, 1994

26

Determination of static structure factors of metallic glasses by energy-dispersive X-ray scattering

G Fritsch, J Keimel

Journal:

Materials Science and Engineering: A

Year:

1991

Language:

english

File:

PDF, 331 KB

english, 1991

27

A Minkowski type duality mediating between state and predicate transformer semantics for a probabilistic nondeterministic language

K. Keimel, A. Rosenbusch, T. Streicher

Journal:

Annals of Pure and Applied Logic

Year:

2009

Language:

english

File:

PDF, 727 KB

english, 2009

28

Preface

Yuri L. Ershov, Klaus Keimel, Ulrich Kohlenbach, Andrei Morozov

Journal:

Annals of Pure and Applied Logic

Year:

2009

Language:

english

File:

PDF, 151 KB

english, 2009

29

Topological Cones: Foundations for a Domain Theoretical Semantics Combining Probability and Nondeterminism

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2006

Language:

english

File:

PDF, 335 KB

english, 2006

30

Retraction notice to “Semantic Domains for Combining Probability and Non-Determinism” [Electron. Notes Theoret. Comput. Sci. 129 (2005) 1-104]

R. Tix, K. Keimel, G.D. Plotkin

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2009

Language:

english

File:

PDF, 86 KB

english, 2009

31

Bicontinuous Domains and Some Old Problems in Domain Theory

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2009

Language:

english

File:

PDF, 336 KB

english, 2009

32

Filling of nano-via holes by laser-assisted direct imprint

Bo Cui, Wei Wu, Chris Keimel, Stephen Y. Chou

Journal:

Microelectronic Engineering

Year:

2006

Language:

english

File:

PDF, 147 KB

english, 2006

33

Projective topology on bifinite domains and applications

Samy Abbes, Klaus Keimel

Journal:

Theoretical Computer Science

Year:

2006

Language:

english

File:

PDF, 266 KB

english, 2006

34

Measure extension theorems for -spaces

Klaus Keimel, Jimmie D. Lawson

Journal:

Topology and its Applications

Year:

2005

Language:

english

File:

PDF, 215 KB

english, 2005

35

The monad of probability measures over compact ordered spaces and its Eilenberg–Moore algebras

Journal:

Topology and its Applications

Year:

2008

Language:

english

File:

PDF, 250 KB

english, 2008

36

The way-below relation of function spaces over semantic domains

Thomas Erker, Martín Hötzel Escardó, Klaus Keimel

Journal:

Topology and its Applications

Year:

1998

Language:

english

File:

PDF, 912 KB

english, 1998

37

Foreword

Klaus Keimel, Michael Mislove, Constantine Tsinakis

Journal:

Theoretical Computer Science

Year:

2000

Language:

english

File:

PDF, 34 KB

english, 2000

38

Bi-continuous Valuations

Journal:

Electronic Notes in Theoretical Computer Science

Year:

1998

Language:

english

File:

PDF, 300 KB

english, 1998

39

Preface: Volume 13, Issue 1

Abbas Edalat, Achim Jung, Klaus Keimel, Marta Kwiatkowska

Journal:

Electronic Notes in Theoretical Computer Science

Year:

1998

Language:

english

File:

PDF, 32 KB

english, 1998

40

Lokal kompakte Kegelhalbgruppen und deren Einbettung in topologische Vektorräume

Journal:

Mathematische Zeitschrift

Year:

1967

Language:

german

File:

PDF, 1.59 MB

german, 1967

41

Eine Exponentialfunktion für kompakte abelsche Halbgruppen

Journal:

Mathematische Zeitschrift

Year:

1967

Language:

german

File:

PDF, 1.12 MB

german, 1967

42

Topologische Darstellung von Verbänden

Gerhard Gierz, Klaus Keimel

Journal:

Mathematische Zeitschrift

Year:

1976

Language:

german

File:

PDF, 1021 KB

german, 1976

43

A unified theory of minimal prime ideals

Journal:

Acta Mathematica Hungarica

Year:

1972

Language:

english

File:

PDF, 1.02 MB

english, 1972

44

Abstract ordered compact convex sets and algebras of the (sub)probabilistic powerdomain monad over ordered compact spaces

Journal:

Algebra and Logic

Year:

2009

Language:

english

File:

PDF, 265 KB

english, 2009

45

-completions and the -topology

Klaus Keimel, Jimmie D. Lawson

Journal:

Annals of Pure and Applied Logic

Year:

2009

Language:

english

File:

PDF, 953 KB

english, 2009

46

The Probabilistic Powerdomain for Stably Compact Spaces via Compact Ordered Spaces

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2004

Language:

english

File:

PDF, 254 KB

english, 2004

47

Semantic Domains for Combining Probability and Non-Determinism

Regina Tix, Klaus Keimel, Gordon Plotkin

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2009

Language:

english

File:

PDF, 1.20 MB

english, 2009

48

The probabilistic powerdomain for stably compact spaces

Mauricio Alvarez-Manilla, Achim Jung, Klaus Keimel

Journal:

Theoretical Computer Science

Year:

2004

Language:

english

File:

PDF, 311 KB

english, 2004

49

Relating direct and predicate transformer partial correctness semantics for an imperative probabilistic-nondeterministic language

K. Keimel, A. Rosenbusch, T. Streicher

Journal:

Theoretical Computer Science

Year:

2011

Language:

english

File:

PDF, 307 KB

english, 2011

50

Ultrafast and direct imprint of nanostructures in silicon

Chou, Stephen Y., Keimel, Chris, Gu, Jian

Journal:

Year:

2002

Language:

english

File:

PDF, 254 KB

english, 2002